Curt's Demonstration Of Paraconsistent Logic